Guessing Winning Policies in LTL Synthesis by Semantic Learning

We provide a learning-based technique for guessing a winning strategy in a parity game originating from an LTL synthesis problem. A cheaply obtained guess can be useful in several applications. Not only can the guessed strategy be applied as best-effort in cases where the game's huge size prohibits rigorous approaches, but it can also increase the scalability of rigorous LTL synthesis in several ways. Firstly, checking whether a guessed strategy is winning is easier than constructing one. Secondly, even if the guess is wrong in some places, it can be fixed by strategy iteration faster than constructing one from scratch. Thirdly, the guess can be used in on-the-fly approaches to prioritize exploration in the most fruitful directions. In contrast to previous works, we (i)~reflect the highly structured logical information in game's states, the so-called semantic labelling, coming from the recent LTL-to-automata translations, and (ii)~learn to reflect it properly by learning from previously solved games, bringing the solving process closer to human-like reasoning

Validating automated driving systems by using scenario-based testing: The Fuse4Rep process model for scenario generation as part of the 'Dresden Method

Scenario-based testing emerges as the main approach to validate automated driving systems (ADS) and thus ensure safe road traffic. Thereby, the test scenarios used should represent the traffic event of the corresponding operational design domain (ODD) and should cover the traffic situation from normal driving to an accident. For this, the fusion of police accident data and video-based traffic observation data into one database for subsequent scenario generation is advisable. Therefore, this paper presents the Fuse4Representativity (Fuse4Rep) process model as part of the Dresden Method, which helps to fuse heterogeneous data sets into one ODD-representative database for lean, fast and comprehensive scenario generation. Hereby, statistical matching is used as the fusion approach building on probable matching variables, such as the 3-digit accident type, the collision type and the misconduct of participants. Moreover, the paper shows how the scenarios generated in this way can be hypothetically used to validate ADS, e.g. in a stochastic traffic simulation incorporating human driver behaviour models. Future studies should apply the Fuse4Rep model in practice and test its validity

Tage-Bücher aus Venedig

TAGE-BÜCHER AUS VENEDIG Tage-Bücher aus Venedig ( - ) Einband ( - ) Titelseite ([1]) Text ([3]

LNCS

We provide a learning-based technique for guessing a winning strategy in a parity game originating from an LTL synthesis problem. A cheaply obtained guess can be useful in several applications. Not only can the guessed strategy be applied as best-effort in cases where the game’s huge size prohibits rigorous approaches, but it can also increase the scalability of rigorous LTL synthesis in several ways. Firstly, checking whether a guessed strategy is winning is easier than constructing one. Secondly, even if the guess is wrong in some places, it can be fixed by strategy iteration faster than constructing one from scratch. Thirdly, the guess can be used in on-the-fly approaches to prioritize exploration in the most fruitful directions. In contrast to previous works, we (i) reflect the highly structured logical information in game’s states, the so-called semantic labelling, coming from the recent LTL-to-automata translations, and (ii) learn to reflect it properly by learning from previously solved games, bringing the solving process closer to human-like reasoning

Report on integration of the stochastic traffic simulation: Deliverable D5.13

As part of the AutoDrive project, the OpenPASS framework is used to develop a cognitive-stochastic traffic flow simulation for urban intersection scenarios described in deliverable D1.14. This framework was adapted and further developed. The deliverable D5.13 deals with the construction of the stochastic traffic simulation. At this point of the process, the theoretical design aspects of D4.20 are implemented. D5.13 explains the operating principles of the different modules. This includes the foundations, boundary conditions, and mathematical theory of the traffic simulation

Report on design of modules for the stochastic traffic simulation: Deliverable D4.20

As part of the AutoDrive project, OpenPASS is used to develop a cognitive-stochastic traffic flow simulation for urban intersection scenarios described in deliverable D1.14. The deliverable D4.20 is about the design of the modules for the stochastic traffic simulation. This initially includes an examination of the existing traffic simulations described in chapter 2. Subsequently, the underlying tasks of the driver when crossing an intersection are explained. The main part contains the design of the cognitive structure of the road user (chapter 4.2) and the development of the cognitive behaviour modules (chapter 4.3)

Report on integration of the stochastic traffic simulation: Deliverable D5.13

As part of the AutoDrive project, the OpenPASS framework is used to develop a cognitive-stochastic traffic flow simulation for urban intersection scenarios described in deliverable D1.14. This framework was adapted and further developed. The deliverable D5.13 deals with the construction of the stochastic traffic simulation. At this point of the process, the theoretical design aspects of D4.20 are implemented. D5.13 explains the operating principles of the different modules. This includes the foundations, boundary conditions, and mathematical theory of the traffic simulation

Report on design of modules for the stochastic traffic simulation: Deliverable D4.20

As part of the AutoDrive project, OpenPASS is used to develop a cognitive-stochastic traffic flow simulation for urban intersection scenarios described in deliverable D1.14. The deliverable D4.20 is about the design of the modules for the stochastic traffic simulation. This initially includes an examination of the existing traffic simulations described in chapter 2. Subsequently, the underlying tasks of the driver when crossing an intersection are explained. The main part contains the design of the cognitive structure of the road user (chapter 4.2) and the development of the cognitive behaviour modules (chapter 4.3)

Report on validation of the stochastic traffic simulation (Part B): Deliverable D6.23

This document is intended to give an overview of the validation of the human subject study, conducted in the driving simulator of the Chair of Traffic and Transportation Psychology (Verkehrspsychologie – VPSY) of the Technische Universität Dresden (TUD), as well of the validation of the stochastic traffic simulation developed in the AutoDrive project by the Chair of Automotive Engineering (Lehrstuhl Kraftfahrzeugtechnik – LKT) of TUD. Furthermore, the evaluation process of a C-AEB (Cooperative-Automatic Emergency Brake) system is demonstrated. The main purpose was to compare the driving behaviour of the study participants and the driving behaviour of the agents in the traffic simulation with real world data. Based on relevant literature, a validation concept was designed and real world data was collected using drones and stationary cameras. By means of qualitative and quantitative analysis it could be shown, that the driving simulator study shows realistic driving behaviour in terms of mean speed. Moreover, the stochastic traffic simulation already reflects reality in terms of mean and maximum speed of the agents. Finally, the performed evaluation proofed the suitability of the developed stochastic simulation for the assessment process. Furthermore, it could be shown, that a C-AEB system improves the traffic safety for the chosen test-scenarios